Separating Invariants and Finite Reflection Groups
نویسنده
چکیده
Roughly speaking, a separating algebra is a subalgebra of the ring of invariants whose elements distinguish between any two orbits that can be distinguished using invariants. In this paper, we introduce a more geometric notion of separating algebra. This allows us to prove that when there is a polynomial separating algebra, the group is generated by reflections, and when there is a complete intersection separating algebra, the group is generated by bireflections.
منابع مشابه
Separating Invariants for Modular P -groups and Groups Acting Diagonally
We study separating algebras for rings of invariants of finite groups. We describe a separating subalgebra for invariants of p-groups in characteristic p using only transfers and norms. Also we give an explicit construction of a separating set for invariants of groups acting diagonally. Let F be an algebraically closed field and let G be a finite group. Consider a faithful representation ρ : G ...
متن کاملDunkl Operators and Canonical Invariants of Reflection Groups
Using Dunkl operators, we introduce a continuous family of canonical invariants of finite reflection groups. We verify that the elementary canonical invariants of the symmetric group are deformations of the elementary symmetric polynomials. We also compute the canonical invariants for all dihedral groups as certain hypergeometric functions.
متن کاملComputing Invariants of Reductive Groups in Positive Characteristic
This paper gives an algorithm for computing invariant rings of reductive groups in arbitrary characteristic. Previously, only algorithms for linearly reductive groups and for finite groups have been known. The key step is to find a separating set of invariants.
متن کاملPolarization of Separating Invariants
We prove a characteristic free version of Weyl’s theorem on polarization. Our result is an exact analogue of Weyl’s theorem, the difference being that our statement is about separating invariants rather than generating invariants. For the special case of finite group actions we introduce the concept of cheap polarization, and show that it is enough to take cheap polarizations of invariants of j...
متن کاملPolynomial Invariants and Harmonic Functions Related to Exceptional Regular Polytopes
regular polytopes, mean value property, finite reflection groups We compute certain polynomial invariants for the finite reflection groups of the types H3, H4 and F4. Using this result, we explicitly determine the solution space of functions satisfying a mean value property related to the exceptional regular polytopes, namely, the icosahedron and dodecahedron in three dimensions and the 24-cell...
متن کامل